CatDat

Implication Details

Assumptions: self-dualsifted colimits

Conclusions: cosifted limits

Proof: This holds by self-duality.

Show 4 categories using this implication